workspace: Decrease spacing between workspaces in the window picker

Use a bit less spacing between the workspaces in the window picker, this
uses more of the available space and makes it easy to take a peek at
adjacent workspaces.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1702>

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 396dd700261ad7bc26662bc5ce8bf805a73d49c1..ba26006f764b954bf0a07ffc1d2629de07625597 100644 (file)
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -231,7 +231,7 @@ class WorkspacesView extends WorkspacesViewBase {
             availableSpace = (width - workspaceSize) / 2;
         }
 
-        const spacing = (availableSpace - workspaceSize * 0.05) * (1 - fitMode);
+        const spacing = (availableSpace - workspaceSize * 0.4) * (1 - fitMode);
         const { scaleFactor } = St.ThemeContext.get_for_stage(global.stage);
 
         return Math.clamp(spacing, WORKSPACE_MIN_SPACING * scaleFactor,